(set-logic QF_LIA)
(declare-fun v0 () Bool)
(declare-fun v1 () Bool)
(declare-fun v3 () Bool)
(declare-fun v4 () Bool)
(declare-fun v5 () Bool)
(declare-fun v11 () Bool)
(assert (distinct v5 (= v5 v0)))
(assert v1)
(assert (distinct v3 v11))
(assert (distinct v4 (xor v0 (distinct v3 v11))))
(assert v4)
(push 1)
(assert false)
(check-sat)
(pop 1)
(push 1)
(check-sat)
(check-sat)
(pop 1)
(check-sat)
